计算机程序验证computer: n. 1.计算者。 2.(电子)计算机;计量器。 短语和 ...verification: n. 1.证实,证明,确定;核验,验证,核对;检验,校验 ...program verification: 程序检验; 程序验证automatic program verification: 自动程序验证automatic program verification system: 自动程序验证系统下载手机词典可随时随地查词查翻译